1. A Logic Book: Fundamentals of Reasoning
المؤلف: Johnson, Robert M
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
71
.
J6
L6
1999


2. A logic book : fundamentals of reasoning
المؤلف: Johnson, Robert M.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Logic
رده :
BC
71
.
J48
2007


3. A systems analysis of the logic of research and information processes: reasoning patterns...
المؤلف: /Werner Kunz
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:

4. A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry
المؤلف: Kunz, Werner, 2291-
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، Chemistry, Organic- Research,، Research
رده :
QD
256
.
K9


5. Automating business modelling a guide to using logic to represent informal methods and support reasoning
المؤلف: Chen-Burger, Yun-Heh.,Yun-Heh Chen-Burger and Dave Robertson
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Industrial management- Computer simulation,، Industrial management- Mathematical models,، Business- Computer simulation,، Business- Mathematical models
رده :
HD
30
.
2
.
C473
2005


6. BASIC LOGIC; The Fundamental Principles of Formal Deductive Reasoning
المؤلف: Mc Call, Raymond J
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
108
.
M33
B3
1952


7. Basic logic : the fundamental principles of formal deductive reasoning
المؤلف: McCall, Raymond Joseph, 3191-
المکتبة: (طهران)
موضوع: ، Logic
رده :
BC
108
.
M22B2
1952


8. Basic logic: the fundamental principles of formal deductive reasoning
پدیدآورنده : / J. McCall Roymond
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Basic logic; the fundamental principles of formal deductive reasoning
پدیدآورنده : Raymond J. McCall
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Basic logic; the fundamental principles of formal deductive reasoning
المؤلف: McCall
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Arabic imprin%
رده :
BC108
.
M14
1952


11. Boolean reasoning : the logic of Boolean equations
المؤلف: Brown, Frank Markha
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebra, Boolean
رده :
QA
10
.
3
.
B76
1990


12. Clausal form logic : an introduction to the logic of computer reasoning
المؤلف: Richards, Tom.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
رده :
QA
76
.
76
.
E95R53
1989


13. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
المؤلف: Tru Hoang Cao
المکتبة: (طهران)
موضوع: ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6


14. Inductive reasoning : a study of Tarka and its role in Indian logic
المؤلف: By Sitansusekhar Bagchi
المکتبة: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع: Reasoning,Logic,Induction (Logic)

15. Knowledge representation and reasoning under uncertainty : logic at work
المؤلف: Michael Masuch, Laszlo Polos, )eds.(
المکتبة: (طهران)
موضوع: ، Knowledge representation )Information theory(,، Reasoning,، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
808


16. LOGIC, RHETORIC, AND LEGAL REASONING IN THE QURAN
المؤلف: / Rosalind Ward Gwynne
المکتبة: مکتبة مؤسسة دارالحدیث العلمیة-الثقافیة (قم)
موضوع:
رده :
BP65
/G8
,
L6


17. LOGIC: The Art of Defining and Reasoning
المؤلف: Oesterle, John A.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
108
.
O48
L6
1963


18. Logic, Language and Reasoning
المؤلف: edited by Hans Jürgen Ohlbach, Uwe Reyle.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

19. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
المؤلف: / Marcello Balduccini, Tran Cao Son
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK

20. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
المؤلف: / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
